home *** CD-ROM | disk | FTP | other *** search
/ NetNews Offline 2 / NetNews Offline Volume 2.iso / news / comp / std / c / 630 < prev    next >
Encoding:
Text File  |  1996-08-06  |  1.8 KB  |  41 lines
  1. Newsgroups: comp.std.c
  2. Path: nntp.coast.net!torn!sq!msb
  3. From: msb@sq.com (Mark Brader)
  4. Subject: Re: Restrictions on qsort compare function?
  5. Message-ID: <1996Mar22.202615.9926@sq.com>
  6. Organization: SoftQuad Inc., Toronto, Canada
  7. References: <4iokop$h4p@lyra.csx.cam.ac.uk> <4iqjar$2m9@usenet.pa.dec.com> <1996Mar21.113301.2622@sq.com> <4it51b$ng8@usenet.pa.dec.com>
  8. Date: Fri, 22 Mar 1996 20:26:15 GMT
  9.  
  10. #  The function shall return an integer less than, equal to, or greater
  11. #  than zero if the first argument is considered to be respectively
  12. #  less than, equal to, or greater than the second.
  13.  
  14. > > In other words, it must yield an ordering of the possible data values.
  15. > > This is only the case if
  16. > > 1. It is a pure function...
  17. > > 2. It is antisymmetric (I think that's the right word)...
  18. > > 3. If is transitive...
  19. > 
  20. > You have given an intuitively and logically reasonable definition of a
  21. > comparison system, but the standard does not.
  22.  
  23. The standard does not have to define a "comparison system", because it
  24. does not use that term in the cited passage.  What this poster has called
  25. "an intuitively and logically reasonable definition of a comparison system"
  26. was intended as a statement of the obvious implications of the cited
  27. passage.  (Specifically, these implications follow from the use of the
  28. expressions "considered to be ... less than, equal to, or greater than".)
  29.  
  30. > Until the standard finds a definition of a comparison system, it is
  31. > defective.
  32.  
  33. Nonsense; the cited passage is perfectly clear.
  34. -- 
  35. Mark Brader          "Yet again, I begged him to explain himself in plain
  36. SoftQuad Inc.         English.  This request always surprises him, as he
  37. msb@sq.com            is always under the extraordinary impression that
  38. Toronto               he has done so."       -- Lynn & Jay, "Yes Minister"
  39.  
  40. My text in this article is in the public domain.
  41.